منابع مشابه
Contradictions, objects, and belief
We show how some model-theoretical devices (local reasoning, modes of presentation, an additional accessibility relation) can be combined in first-order modal logic to formalize the consequence relation that includes de dicto and de re contradictory beliefs. Instead of special " sense objects " , appearances of objects in an agent's belief are introduced and presented as ordered pairs consistin...
متن کاملStructural Contradictions
We study the relation between logical contradictions such as p ∧ ¬p and structural contradictions such as p∩ (p · q). Intuitively, we expect the two to be treated similarly, but they are not by PSL, nor by SVA. We provide a solution that treats both kinds of contradictions in a consistent manner. The solution reveals that not all structural contradictions are created equal: we must distinguish ...
متن کاملCorrecting Contradictions
This paper describes a manual investigation of the contradiction asymmetries of the SICK corpus, which is the intended testing set for a new system for natural language inference. Any system providing conceptual semantics for sentences, so that entailment-contradiction-neutrality relations between sentences can be identified, needs a baseline test set. The investigation of this test set, a part...
متن کاملHartley Slater and False Contradictions
In this note I say a few words about my interaction with the late Hartley Slater and his work. Si on appelle un chat un chat Cela évite les embrouilles Et on retombe toujours sur ses pattes Baron de Chambourcy 1 From Los Angeles to Helsinki: 20 years of friendship Barry Hartley Slater recently died (July 8, 2016). We are publishing in this issue of the South American Journal of Logic the paper ...
متن کاملSoft Systems and Hard Contradictions
Checkland's Soft Systems Methodology for defining and solving problems in organizations is presented on the basis of an application of the methodology. In many ways this approach represents an improvement in relation to more traditional approaches to computer-based information systems. Based on an experiment we explore the possibilities of combining the practical usefulness of soft systems thin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Molecular Therapy
سال: 2003
ISSN: 1525-0016
DOI: 10.1016/j.ymthe.2003.10.007